Totally bounded metric space